Fiche membre | Laboratoire des Sciences du Numérique de Nantes

Charlotte TRUCHET

ENSEIGNANT-CHERCHEUR

HDR

: Charlotte.Truchetatls2n.fr

Adresse :

Université de Nantes - faculté des Sciences et Techniques ( FST )
Petit Port
2 Chemin de la Houssinière
BP 92208
44322 Nantes Cedex 3

Batiment 11, étage 2, bureau 218

Publications référencées sur HAL

Revues internationales avec comité de lecture (ART_INT)

[1] M. Vavrille, C. Truchet, C. Prud’homme. Solution sampling with random table constraints. In Constraints ; éd. Springer Verlag, 2022.
https://hal.science/hal-03776149

[2] P. Talbot, �. Monfroy, C. Truchet. Modular Constraint Solver Cooperation via Abstract Interpretation. In Theory and Practice of Logic Programming ; éd. Cambridge University Press (CUP), 2020, vol. 20, num. 6.
https://univ-angers.hal.science/hal-02945920

[3] G. Lo Bianco, X. Lorca, C. Truchet, G. Pesant. Revisiting Counting Solutions for the Global Cardinality Constraint. In Journal of Artificial Intelligence Research ; éd. Association for the Advancement of Artificial Intelligence, 2019, vol. 66.
https://hal.science/hal-02276554

[4] D. Cortés-Borda, E. Wimmer, B. Gouilleux, E. Barré, N. Oger, L. Goulamaly, L. Peault, B. Charrier, C. Truchet, P. Giraudeau, M. Rodriguez-Zubiri, E. Le Grognec, F. Felpin. An Autonomous Self-Optimizing Flow Reactor for the Synthesis of Natural Product Carpanone. In Journal of Organic Chemistry ; éd. American Chemical Society, 2018, vol. 83, num. 23.
https://hal.science/hal-01980485

[5] A. Bart, B. Delahaye, P. Fournier, D. Lime, E. Monfroy, C. Truchet. Reachability in parametric Interval Markov Chains using constraints. In Theoretical Computer Science ; éd. Elsevier, 2018, vol. 747.
https://hal.science/hal-01917092

[6] A. Bart, C. Truchet, E. Monfroy. A global constraint for over-approximation of real-time streams. In Constraints ; éd. Springer Verlag, 2017, vol. 22, num. 3.
https://hal.science/hal-01555777

[7] D. Cortes-Borda, K. Kutonova, C. Jamet, M. Trusova, F. Zammattio, C. Truchet, M. Rodriguez-Zubiri, F. Felpin. Optimizing the Heck-Matsuda Reaction in Flow with a Constraint-Adapted Direct Search Algorithm. In Organic Process Research and Development ; éd. American Chemical Society, 2016, vol. 20, num. 11.
https://hal.science/hal-02141343

[8] C. Truchet, A. Arbelaez, F. Richoux, P. Codognet. Estimating parallel runtimes for randomized algorithms in constraint solving. In Journal of Heuristics ; éd. Springer Verlag, 2015.
https://hal.science/hal-01248168

[9] M. Pelleau, C. Truchet, F. Benhamou. The octagon abstract domain for continuous constraints. In Constraints ; éd. Springer Verlag, 2014, vol. 19, num. 3.
https://hal.science/hal-01147912

[10] A. Arbelaez, P. Codognet, C. Truchet. Using Runtime Distributions for the Analysis and Parallelization of Local Search for SAT. In Theory and Practice of Logic Programming ; éd. Cambridge University Press (CUP), 2013, vol. 13, num. 4-5.
https://hal.science/hal-00872982

Revues nationales avec comité de lecture (ART_NAT)

[11] C. Truchet, P. Codognet. Musical Constraint Satisfaction Problems Solved with Adaptive Search. In Soft Computing ; éd. Springer Verlag, 2004, vol. 8, num. 9.
https://hal.science/hal-01161219

[12] M. Chemillier, C. Truchet. Computation of words satisfying the "rhythmic oddity property". In Information Processing Letters ; éd. Elsevier, 2003, num. 86.
https://hal.science/hal-01105853

Conférences internationales avec comité de lecture et actes (COMM_INT)

[13] A. Gontier, C. Truchet, C. Prud'Homme. Conflict analysis in CP solving: Explanation generation from constraint decomposition. In CP 2020: 26th International Conference on Principles and Practice of Constraint Programming: Workshop: From Constraint Programming to Trustworthy AI, septembre 2020, Louvain-la-Neuve, Belgique.
https://hal.science/hal-03179630

[14] G. Lo Bianco, X. Lorca, C. Truchet. Estimating the Number of Solutions of Cardinality Constraints through range and roots Decompositions. In CP 2019-25th International Conference on Principles and Practice of Constraint Programming, septembre 2019, Stamford, états-Unis.
https://hal.science/hal-02276566

[15] G. Ziat, A. Maréchal, M. Pelleau, A. Miné, C. Truchet. Combination of Boxes and Polyhedra Abstractions for Constraint Solving. In The 8th International Workshop on Numerical and Symbolic Abstract Domains, octobre 2019, Porto, Portugal.
https://hal.science/hal-02457083

[16] P. Talbot, D. Cachera, E. Monfroy, C. Truchet. Combining Constraint Languages via Abstract Interpretation. In 2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI), novembre 2019, Portland, France.
https://univ-angers.hal.science/hal-02945596

[17] G. Lo Bianco, C. Truchet, X. Lorca, V. Ravelomanana. A Probabilistic Model to Count Solutions on the alldifferent Constraint. In CP 2018 - The 24th International Conference on Principles and Practice of Constraints Programming, août 2018, Lille, France.
https://imt-mines-albi.hal.science/hal-01923767

[18] G. Ziat, M. Pelleau, C. Truchet, A. Miné. Finding solutions by finding inconsistencies. In CP 2018 - 24th International Conference on Principles and Practice of Constraint Programming, août 2018, Lille, France.
https://hal.science/hal-01885769

[19] G. Ziat, M. Pelleau, C. Truchet, A. Miné. Améliorer la propagation : l'Importance d'être Inconsistant. In Treizièmes journées Francophones de Programmation par Contraintes, juin 2017, Montreuil sur Mer, France.
https://hal.science/hal-01735167

[20] A. Bart, B. Delahaye, D. Lime, E. Monfroy, C. Truchet. Reachability in Parametric Interval Markov Chains Using Constraints. In 14th International Conference on Quantitative Evaluation of SysTems, septembre 2017, Berlin, Allemagne.
https://hal.science/hal-01591036

[21] A. Arbelaez, C. Truchet, B. O'Sullivan. Learning Sequential and Parallel Runtime Distributions for Randomized Algorithms. In ICTAI'16 - 28th {IEEE} International Conference on Tools with Artificial Intelligence, novembre 2016, San Jose, états-Unis.
https://hal.science/hal-01980502

[22] A. Bart, C. Truchet, E. Monfroy. Verifying a Real-Time Language with Constraints. In 27th IEEE International Conference on Tools with Artificial Intelligence, 2015, Vietri sul Mare, Italie.
https://hal.science/hal-01234188

[23] B. Belin, M. Christie, C. Truchet. Interactive Design of Sustainable Cities with a Distributed Local Search Solver. In 11th International Conference on Integration of and Techniques in Constraint Programming - CPAIOR 2014, mai 2014, Cork, Irlande.In Helmut Simonis (éds.), . Springer International Publishing, 2014.
https://hal.science/hal-01147919

[24] C. Truchet, F. Richoux, P. Codognet. Prediction of Parallel Speed-ups for Las Vegas Algorithms. In 42nd International Conference on Parallel Processing, 2013, Lyon, France.
https://hal.science/hal-00870979

[25] M. Pelleau, A. Miné, C. Truchet, F. Benhamou. Un solveur de contraintes basé sur les domaines abstraits. In 9èmes Journées Francophones de Programmation par Contraintes, juin 2013, Aix-en-Provence, France.
https://inria.hal.science/hal-00925430

[26] A. Arbelaez, C. Truchet, P. Codognet. Estimating the Runtime of Parallel SAT Local Search (Extended Abstract). In Metaheuristics International Conference (MIC 2013), août 2013, Singapore, Singapour.
https://inria.hal.science/hal-00850975

[27] J. Du Boisberranger, D. Gardy, X. Lorca, C. Truchet. When is it worthwhile to propagate a constraint? A probabilistic analysis of AllDifferent. In Meeting on Analytic Algorithmics and Combinatorics, 2013, New Orleans, Louisiana, USA, états-Unis.In Markus Nebel and Wojciech Szpankowski (éds.), Proceedings of the 10th Meeting on Analytic Algorithmics and Combinatorics, ANALCO 2013. , 2013.
https://hal.science/hal-00867576

[28] M. Pelleau, A. Miné, C. Truchet, F. Benhamou. A Constraint Solver based on Abstract Domains. In VMCAI 2013 - 14th International Conference on Verification, Model Checking, and Abstract Interpretation, janvier 2013, Rome, Italie.In Roberto Giacobazzi and Josh Berdine and Isabella Mastroeni (éds.), . Springer-Verlag, 2013.
https://hal.science/hal-00785604

[29] M. Pelleau, C. Truchet, F. Benhamou. Octagonal Domains for Continuous Constraints. In 17th International Conference on Principles and Practice of Constraint Programming (CP'11), 2011, Perrugia, Italie.
https://hal.science/hal-00785598

[30] C. Truchet, M. Pelleau, F. Benhamou. Abstract Domains for Constraint Programming, with the Example of Octagons. In 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), septembre 2010, Timisoara, Roumanie.
https://hal.science/hal-01147921

[31] M. Pelleau, P. van Hentenryck, C. Truchet. Sonet Network Design Problems. In 6th International Workshop on Local Search Techniques in Constraint Satisfaction, septembre 2009, Lisbon, France.
https://hal.science/hal-00482523

[32] N. Beldiceanu, M. Carlsson, M. Sbihi, C. Truchet, S. Zampelli, M. Agren. Six Ways of Integrating Symmetries within Non-Overlapping Constraints. In 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'09), 2009, , états-Unis.In Springer-Verlag (éds.), 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'09). , 2009.
https://hal.science/hal-00481521

[33] C. Truchet, M. Christie, J. Normand. A tabu search method for interval constraints. In Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, mai 2008, , France.
https://hal.science/hal-00482527

[34] N. Beldiceanu, M. Carlsson, E. Poder, R. Sadek, C. Truchet. A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects. In 13th International on Principles and Practice of Constraint Programming (CP'07), 2007, Brown, états-Unis.
https://hal.science/hal-00481558

[35] C. Truchet, G. Assayag, P. Codognet. OMClouds, petits nuages de contrainte dans OpenMusic. In Journées d'Informatique Musicale, juin 2003, Montbéliard, France.
https://hal.science/hal-02994207

[36] P. Codognet, D. Diaz, C. Truchet. The Adaptive Search Method for Constraint Solving and its application to musical CSPs. In International Workshop on Heuristics, 2002, Beijing, Chine.
https://hal.science/hal-00668300

[37] M. Chemillier, C. Truchet, R. Louis-Martin. Analyse musicale et contraintes. In Journées d'Informatique Musicale, mai 2002, Marseille, France.
https://hal.science/hal-02992832

Conférences nationales avec comité de lecture et actes (COMM_NAT)

[38] G. Lo Bianco, X. Lorca, C. Truchet. Estimer le nombre de solutions des contraintes de cardinalité grâce à leur décomposition range et roots. In JFPC 2019 - Actes des 15es Journées Francophones de Programmation par Contraintes, juin 2019, Albi, France.
https://imt-mines-albi.hal.science/hal-02160312

[39] P. Talbot, D. Cachera, E. Monfroy, C. Truchet. Octogones entiers pour le problème RCPSP. In JFPC 2019 - Journées Francophones de Programmation par Contraintes, juin 2019, Albi, France.
https://hal.science/hal-02157804

[40] A. Bart, B. Delahaye, E. Monfroy, C. Truchet. Vérification de chaînes de Markov à intervalles paramétrés avec des contraintes. In Treizièmes journées Francophones de Programmation par Contraintes, juin 2017, Montreuil sur Mer, France.
https://hal.science/hal-01555755

[41] A. Bart, C. Truchet, E. Monfroy. Contraintes sur des flux appliquées a la vérification de programmes audio. In Onzièmes Journées Francophones de Programmation par Contraintes, juin 2016, Bordeaux, France.
https://hal.science/hal-01234179

[42] B. Belin, M. Christie, C. Truchet. Interactive Urban Planning with Local Search Techniques: the SUSTAINS Project. In CompSust'12 - 3rd International Conference on Computational Sustainability, juillet 2012, Copenhagen, Danemark.
https://hal.science/hal-00872981

[43] C. Truchet, D. Noguès, N. Jussien. Un modèle markovien pour GSAT et WalkSAT résultats préliminaires. In JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes, juin 2008, Nantes, France.In Gilles Trombettoni (éds.), . , 2008.
https://inria.hal.science/inria-00292691

[44] M. Christie, J. Normand, C. Truchet. Calcul d'approximations intérieures pour la résolution de Max-NCSP. In Deuxièmes Journées Francophones de Programmation par Contraintes (JFPC06), 2006, Nîmes - Ecole des Mines d'Alès / France.
https://inria.hal.science/inria-00085801

[45] C. Truchet, C. Agon, G. Assayag, P. Codognet. CAO et contraintes. In Journées d'Informatique Musicale, 2001, NA, France.
https://hal.science/hal-01105725

[46] C. Truchet, C. Agon, G. Assayag. Recherche adaptative et contraintes musicales. In JFPLC, 2001, NA, France.
https://hal.science/hal-01105724

[47] C. Truchet, C. Agon, P. Codognet. A Constraint Programming System for Music Composition, Preliminary Results. In CP 01, Workshop on Musical Constraints, 2001, NA, France.
https://hal.science/hal-01105726

[48] C. Truchet, G. Assayag, P. Codognet. Visual and Adaptive Constraint Programming in Music. In ICMC 01, 2001, NA, France.
https://hal.science/hal-01105723

[49] M. Chemillier, C. Truchet. Two Musical CSPs. In CP 01 Workshop on Musical Constraints, 2001, NA, France.
https://hal.science/hal-01161429

Ouvrages - Chapitres d‘ouvrages et directions d‘ouvrages (OUV)

[50] C. Truchet. Revue d'Intelligence Artificielle. 2014 France.
https://hal.science/hal-01147922

[51] C. Truchet, G. Assayag. Constraint Programming in Music. 05-2011 France.
https://hal.science/hal-00872976

[52] C. Truchet, G. Bloch. Constraints for an Unfolding Time. In Constraint Programming in Music. 05-2011
https://hal.science/hal-00872977

[53] C. Truchet. OMClouds, a Library for Musical Constraints. In Constraint Programming in Music. 05-2011
https://hal.science/hal-00872978

[54] C. Truchet. Some Constraint Satisfaction Problems in Computer Assisted Composition. In Perspectives of Mathematical and Computer-Aided Music Theory,. 2003
https://hal.science/hal-01105854

Autres publications (AUTRES)

[55] M. Vavrille, E. Meunier, C. Truchet, C. Prud'Homme. Linear Time Computation of Variation Degree and Commonalities on Feature Diagrams. Rapport technique, 2023 ; Nantes Université, École Centrale Nantes, IMT Atlantique, CNRS, LS2N, UMR 6004, F-44000 Nantes, France.
https://hal.science/hal-03970237

[56] C. Barillot, I. Fijalkow, I. Queinnec, F. Theoleyre, H. Touzet, M. Beaudouin-Lafon, M. Cani, F. Chaumette, G. Conreur, V. Cortier, C. Gavoille, G. Gogniat, J. Gossa, A. Herzig, J. Krivine, P. Lamarre, F. Lamnabhi-Lagarrigue, A. Letournel, L. Seinturier, I. Tellier, S. Torres, C. Truchet, A. Tsoukias, M. Verleysen. Rapport de Prospective du Conseil Scientifique de l’Institut des Sciences de l’Information et leurs Interactions (INS2I). Rapport technique, 2018 ; CNRS.
https://hal.science/hal-01956087

[57] J. Du Boisberranger, D. Gardy, C. Truchet, X. Lorca. A Probabilistic Study of Bound Consistency for the Alldifferent Constraint. Rapport technique, 2011 ; .
https://hal.science/hal-00588888

[58] N. Beldiceanu, M. Agren, M. Carlsson, M. Sbihi, C. Truchet, S. Zampelli. Six Ways of Integrating Symmetries within Non-Overlapping Constraints, SICS Technical report T2009-01.
https://hal.science/hal-00481532

[59] N. Beldiceanu, E. Poder, R. Sadek, M. Carlsson, C. Truchet. A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects. SICS technical report T2007-08..
https://hal.science/hal-00481565